Combining Paraconsistency and Relevance
نویسنده
چکیده
A (propositional) logic L is paraconsistent with respect to a negation connective if P; P 6`L Q in case P and Q are two distinct atomic variables. Intuitively (and practically) the logic(s) we use should be paraconsistent (with respect to any unary connective!) on the ground of relevance: why should a \contradiction" concerning P imply something completely unrelated? Nevertheless, the most known and important logics (like Classical Logic, Intuitionistic Logic, Kleene's threevalued logic, Lukasiewicz' various many-valued logics, other fuzzy logics, and many more) are not paraconsistent with respect to their oÆcial negation. Why? The answer is: because all these logics are implicitly based on the following principle:
منابع مشابه
Combining linear-time temporal logic with constructiveness and paraconsistency
Article history: Received 15 July 2008 Accepted 9 June 2009 Available online 12 June 2009
متن کاملArticular Models for First Degree Entailment
We uncover a ‘naturally occurring’ first-degree system, AL of Articular Logic that is both relevant and paraconsistent. The principal semantic innovation is an informationally articulated, but nevertheless entirely classical representation of wffs as simple hypergraphs on the power set of a set of possible states. The principal methodological novelty is the general observation that distinct cla...
متن کاملOn Discourses Addressed by Infidel Logicians
We attempt to address here some alleged criticisms against the philosophical import of the so-called Brazilian approach to paraconsistency, especially by providing some demanded epistemic elucidations to the whole enterprise of the logics of formal inconsistency. In the way of elucidating, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the ...
متن کاملParaconsistency properties in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inc...
متن کامل